Geometric Complexity Theory VI: The flip via positivity
نویسندگان
چکیده
Geometric complexity theory (GCT) is an approach towards the P vs. NP and related problems. The article [GCTflip] describes its defining strategy, called the flip, to resolve the self referential paradox, which is the root difficulty in these problems. This article describes an approach based on positivity hypotheses in algebraic geometry and representation theory to implement the flip and thereby resolve the self referential paradox in the arithmetic setting wherein the underlying field of computation has characteristic zero. The main result here is the Decomposition Theorem that decomposes the arithmetic P vs. NP and permanent vs. determinant problems into such positivity hypotheses and easier hardness hypotheses, all without the self referential difficulty.
منابع مشابه
Geometric Complexity Theory VI: the flip via saturated and positive integer programming in representation theory and algebraic geometry
This article belongs to a series on geometric complexity theory (GCT), an approach to the P vs. NP and related problems through algebraic geometry and representation theory. The basic principle behind this approach is called the flip. In essence, it reduces the negative hypothesis in complexity theory (the lower bound problems), such as the P vs. NP problem in characteristic zero, to the positi...
متن کامل7 On P vs . NP , Geometric Complexity Theory , and The Flip I : a high - level view Dedicated to Sri
Geometric complexity theory (GCT) is an approach to the P vs. NP and related problems through algebraic geometry and representation theory. This article gives a high-level exposition of the basic plan of GCT based on the principle, called the flip, without assuming any background in algebraic geometry or representation theory.
متن کاملOn P vs. NP, Geometric Complexity Theory, and the Flip I: a high level view
Geometric complexity theory (GCT) is an approach to the P vs. NP and related problems through algebraic geometry and representation theory. This article gives a high-level exposition of the basic plan of GCT based on the principle, called the flip, without assuming any background in algebraic geometry or representation theory.
متن کاملGeometric Complexity III: on deciding positivity of Littlewood-Richardson coefficients
We point out that the remarkable Knutson and Tao Saturation Theorem [9] and polynomial time algorithms for linear programming [14] have together an important, immediate consequence in geometric complexity theory [15, 16]: The problem of deciding positivity of Littlewood-Richardson coefficients belongs to P ; cf.[10]. Specifically, for GLn(C), positivity of a Littlewood-Richardson coefficient cα...
متن کاملGeometric complexity theory III: on deciding nonvanishing of a Littlewood–Richardson coefficient
We point out that the positivity of a Littlewood–Richardson coefficient c γ α,β for sln can be decided in strongly polynomial time. This means that the number of arithmetic operations is polynomial in n and independent of the bit lengths of the specifications of the partitions α,β, and γ , and each operation involves numbers whose bitlength is polynomial in n and the bit lengths α,β, and γ . Se...
متن کامل